COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	DECLARE OPCONST INTERVAL(NATNUM,NATNUM) ε SET
C00003 ENDMK
C⊗;
DECLARE OPCONST INTERVAL(NATNUM,NATNUM) ε SET;